On mathematical instrumentalism
نویسندگان
چکیده
In this paper we devise some technical tools for dealing with problems connected with the philosophical view usually called mathematical instrumentalism. These tools are interesting in their own right, independently of their philosophical consequences. For example, we show that even though the fragment of Peano’s Arithmetic known as IΣ1 is a conservative extension of the equational theory of Primitive Recursive Arithmetic (PRA), IΣ1 has a super-exponential speed-up over PRA. On the other hand, theories studied in the Program of Reverse Mathematics that formalize powerful mathematical principles have only polynomial speed-up over IΣ1.
منابع مشابه
Measurement-theoretic Observations on Field’s Instrumentalism and the Applicability of Mathematics
a 2 : 2 pp. 148 – 171, 2006 MEASUREMENT-THEORETIC OBSERVATIONS ON FIELD’S INSTRUMENTALISM AND THE APPLICABILITY OF MATHEMATICS
متن کاملEpistemic instrumentalism, exceeding our grasp
In the concluding chapter of Exceeding our Grasp Kyle Stanford outlines a positive response to the central issue raised brilliantly by his book, the problem of unconceived alternatives. This response, called ‘‘epistemic instrumentalism’’, relies on a distinction between instrumental and literal belief. We examine this distinction and with it the viability of Stanford’s instrumentalism, which ma...
متن کاملVariation in occupational exposure associated with musculoskeletal complaints: a cross-sectional study among professional bassists
BACKGROUND Variation in occupational exposure is assumed to have a protective effect against the development of musculoskeletal complaints (MSC), but this common assumption is not strongly supported by the literature. Among musicians, who have a high prevalence of MSC, many play more than one type of instrument (multi-instrumentalism) for many hours a day. Since multi-instrumentalism implies gr...
متن کاملScientific Realism and Mathematical Nominalism: A Marriage Made in Hell
The Quine-Putnam Indispensability argument is the argument for treating mathematical entities on a par with other theoretical entities of our best scientific theories. This argument is usually taken to be an argument for mathematical realism. In this chapter I will argue that the proper way to understand this argument is as putting pressure on the viability of the marriage of scientific realism...
متن کاملRealism, instrumentalism, and scientific symbiosis: psychological theory as a search for truth and the discovery of solutions.
Scientific realism holds that scientific theories are approximations of universal truths about reality, whereas scientific instrumentalism posits that scientific theories are intellectual structures that provide adequate predictions of what is observed and useful frameworks for answering questions and solving problems in a given domain. These philosophical perspectives have different strengths ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Symb. Log.
دوره 70 شماره
صفحات -
تاریخ انتشار 2005